$\forall$$x$,$y$:Unit. decidable(($x$ = $y$))